Agent belongings to several systems: axioms, reflexivity, forecasting
نویسندگان
چکیده
منابع مشابه
Geometric Axioms for Differentially Closed Fields with Several Commuting Derivations
A geometric first-order axiomatization of differentially closed fields of characteristic zero with several commuting derivations, in the spirit of Pierce-Pillay [13], is formulated in terms of a relative notion of prolongation for Kolchin-closed sets.
متن کاملEmotional Responses in Artificial Agent-Based Systems: Reflexivity and Adaptation in Artificial Life
The current work addresses a virtual environment with self-replicating agents whose decisions are based on a form of “somatic computation” (soma body) in which basic emotional responses, taken in parallelism to actual living organisms, are introduced as a way to provide the agents with greater reflexive abilities. The work provides a contribution to the field of Artificial Intelligence (AI) and...
متن کاملEvaluation of Several Algorithms in Forecasting Flood
Precise flood forecasting is desirable so as to have more lead time for taking appropriate prevention measures as well as evacuation actions. Although conceptual prediction models have apparent advantages in assisting physical understandings of the hydrological process, the spatial and temporal variability of characteristics of watershed and the number of variables involved in the modeling of t...
متن کاملProviding Self-aware Systems with Reflexivity
We propose a new type of self-aware systems inspired by ideas from higher-order theories of consciousness. First, we discussed the crucial distinction between introspection and reflexion. Then, we focus on computational reflexion as a mechanism by which a computer program can inspect its own code at every stage of the computation. Finally, we provide a formal definition and a proof-of-concept i...
متن کاملRuntime Self-Checking via Temporal (Meta-)Axioms for Assurance of Logical Agent Systems
This paper deals with assurance of logical agent systems via runtime self-monitoring and checking. We adopt temporal-logic-based special constraints to be dynamically checked at a certain (customizable) frequency. These constraints are based upon a simple interval temporal logic particularly tailored to the agent realm, A-ILTL (‘Agent-Oriented Interval LTL’, LTL standing as customary for ‘Linea...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Radio industry (Russia)
سال: 2020
ISSN: 2541-870X,2413-9599
DOI: 10.21778/2413-9599-2020-30-1-24-29